| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 510423 | Di 14:30-16:00 3220|259 (×13) Mi 14:30-16:00 3220|259 (×12) | ||
| Model-Based Software Engineering | Modellbasierte Softwareentwicklung | Fach-/Modulprüfung | 6 | 532109 | ||
| Software Architectures | Software-Architekturen (SS) | Fach-/Modulprüfung | 6 | 532110 | ||
| Software Language Engineering | Projektarbeit Software Language Engineering | Projekt | 6 | 526175 | ||
| Software Language Engineering | Vorlesung/Übung | 525948 | Di 12:30-14:00 AH I (2350|028) (×13) Mi 16:30-18:00 AH IV (2354|030) (×13) Do 16:30-18:00 AH III (2350|314.1) (×11) |